You are here: irt.org | FOLDOC | Vienna Development Method
<programming, specification> (VDM) A program development method based on formal specification using the Vienna Development Method Specification Language (VDM-SL).
[Details?]
[Is there such a thing as "Vienna Definition Method"?]
(2000-11-02)
Nearby terms: videotex « Vienna Definition Language « Vienna Definition Method « Vienna Development Method » Vienna Development Method Specification Language » Vienna Fortran » Vietnamese
FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL